1

A characterization of lambda definability in categorical models of implicit polymorphism

Year:
1995
Language:
english
File:
PDF, 1.21 MB
english, 1995